CSREAS.UNF[MRS,LSP]2 - www.SailDart.org

perm filename CSREAS.UNF[MRS,LSP]2 blob sn#693670 filedate 1983-01-03 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREAS LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON JANUARY 3, 1983, AT 9:37 PM

;Loading DEFSTRUCT 280
'REASONING-GRAPH 
'RG-DIRECTORY-ENTRY 
'BELIEF 
'QUERY 
	(COMMENT **FASL** 0. (LAP |BELIEF-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 29. (LAP |RP-NODE-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 57. (LAP |QUERY-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 86. (LAP |BELIEF-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 115. (LAP |QUERY-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 144. (LAP |BELIEF-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 172. (LAP |QUERY-BEL-LEVEL MACRO| SUBR)) 
'EPISTATUS 
	(COMMENT **FASL** 200. (LAP |CSR:CREATE-BLF∨QRY MACRO| SUBR)) 
'REASONING-TASK 
'REASONING-PROPOSITION-NODE 
'REASONING-CONSIDERATION-LINK 
'CONSIDERATION-FORCE 
	(COMMENT **FASL** 334. (LAP |CREATE-ADVICE-CONSID MACRO| SUBR)) 
	(COMMENT **FASL** 374. (LAP CSR:COPY-CONSID SUBR)) 
'QMP-CONSID 
'STAT-CONSID 
'NEG-CONSID 
'DN-CONSID 
'CINF-CONSID 
'CACT-CONSID 
'CAUS-CONSID 
'REASONING-EXPERT 
	(COMMENT **FASL** 418. (LAP LTI-CREATE-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 435. (LAP |A-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 469. (LAP |A-GET MACRO| SUBR)) 
	(COMMENT **FASL** 503. (LAP |RA-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 537. (LAP |CSR:NEGATE-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 564. (LAP CSR:INITIALIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 595. (LAP CSR:UPDATE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 834. (LAP CSR:GET-RP-NODE SUBR)) 
	(COMMENT **FASL** 900. (LAP CSR:UPDATE-RG-DIRECTORY SUBR)) 
	(COMMENT **FASL** 939. (LAP CSR:INSTALL-CONSID-LINK SUBR)) 
	(COMMENT **FASL** 986. (LAP CSR:PROPAGATE-DETERMINACY SUBR)) 
	(COMMENT **FASL** 1030. (LAP EQUAL-EPISTATI SUBR)) 
	(COMMENT **FASL** 1053. (LAP CSR:CREATE-B∨Q-NEGATION SUBR)) 
	(COMMENT **FASL** 1165. (LAP CSR:CREATE-FUNDAMENTAL-CONTEXTS SUBR)) 
	(COMMENT **FASL** 1175. (LAP A-Q-PUTPROP SUBR)) 
	(COMMENT **FASL** 1207. (LAP A-PUTPROP SUBR)) 
	(COMMENT **FASL** 1239. (LAP CSR:INVESTIGATE-FROM-MEMORY LSUBR)) 
	(COMMENT **FASL** 1343. (LAP CSR:CREATE-NORMAL-QUERY SUBR)) 
	(COMMENT **FASL** 1396. (LAP CSR:NORMALIZE-EPISTATUS SUBR)) 
	(COMMENT **FASL** 1452. (LAP CSR:MEMORY-LOOKUP SUBR)) 
	(COMMENT **FASL** 1454. (LAP CSR:RECORD-BELIEF SUBR)) 
	(COMMENT **FASL** 1459. (LAP CSR:CONCLUSIVE-ENOUGH? SUBR)) 
	(COMMENT **FASL** 1489. (LAP CSR:NORMALIZE-BELIEF-TYPE SUBR)) 
	(COMMENT **FASL** 1530. (LAP CSR:ENTER-MEMORY-CONSID SUBR)) 
	(COMMENT **FASL** 1533. (LAP CSR:FIND-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 1616. (LAP CSR:FIND-REASONING-TASKS SUBR)) 
	(COMMENT **FASL** 1636. (LAP AT:INSERT-IN-AGENDA SUBR)) 
	(COMMENT **FASL** 1704. (LAP CSR:FIND-HR-TASKS SUBR)) 
	(COMMENT **FASL** 1706. (LAP CSR:FIND-RR-TASKS SUBR)) 
	(COMMENT **FASL** 1758. (LAP CSR:GET-R-EXPERT SUBR)) 
	(COMMENT **FASL** 1781. (LAP CSR:FIND-R-EXPERTS SUBR)) 
	(COMMENT **FASL** 1834. (LAP CSR:BEST-R-TASK SUBR)) 
	(COMMENT **FASL** 1857. (LAP CSR:MORE-URGENT:1 SUBR)) 
	(COMMENT **FASL** 1865. (LAP CSR:ORDER-AGENDA SUBR)) 
	(COMMENT **FASL** 1867. (LAP CSR:DO-R-TASK1-AGENDA SUBR)) 
	(COMMENT **FASL** 1891. (LAP CSR:DO-BEST-R-TASK-AGENDA SUBR)) 
	(COMMENT **FASL** 1911. (LAP CSR:DO-ALL-R-TASKS-AGENDA SUBR)) 
	(COMMENT **FASL** 1944. (LAP CSR:KNOWLEDGE-LOOKUP-ALL SUBR)) 
	(COMMENT **FASL** 2009. (LAP CSR:KNOWLEDGE-LOOKUP SUBR)) 
	(COMMENT **FASL** 2063. (LAP >-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2079. (LAP ≥-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2098. (LAP <-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2113. (LAP ≤-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2133. (LAP CSR:COMPOSE-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 2274. (LAP CSR:ONE-DOMINATING-DED-CONSID SUBR)) 
	(COMMENT **FASL** 2314. (LAP HAS-NON-ZERO-FORCE SUBR)) 
	(COMMENT **FASL** 2322. (LAP CSR:COMPUTE-CONSID-FORCES SUBR)) 
	(COMMENT **FASL** 2376. (LAP CSR:COMPUTE-CONSID-FORCE SUBR)) 
	(COMMENT **FASL** 2412. (LAP CSR:CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2424. (LAP CSR:DOUBTLESS-AWPC SUBR)) 
	(COMMENT **FASL** 2441. (LAP CSR:NEG-CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2451. (LAP CSR:CREATE-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 2508. (LAP MIN-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2528. (LAP CSR:COMPUTE-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2553. (LAP HOW-DEFINITIVE? SUBR)) 
	(COMMENT **FASL** 2595. (LAP QUANT-MP-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2618. (LAP |[MRS,LSP]CSREAS.LSP←1.| SUBR)) 
	(COMMENT **FASL** 2644. (LAP |[MRS,LSP]CSREAS.LSP←2.| SUBR)) 
	(COMMENT **FASL** 2648. (LAP |[MRS,LSP]CSREAS.LSP←3.| SUBR)) 
	(COMMENT **FASL** 2651. (LAP |[MRS,LSP]CSREAS.LSP←4.| SUBR)) 
	(COMMENT **FASL** 2661. (LAP |[MRS,LSP]CSREAS.LSP←5.| SUBR)) 
	(COMMENT **FASL** 2663. (LAP |[MRS,LSP]CSREAS.LSP←6.| SUBR)) 
	(COMMENT **FASL** 2666. (LAP QUANT-MP-B-METHOD SUBR)) 
	(COMMENT **FASL** 2912. (LAP STATIST-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2935. (LAP |[MRS,LSP]CSREAS.LSP←7.| SUBR)) 
	(COMMENT **FASL** 2961. (LAP |[MRS,LSP]CSREAS.LSP←8.| SUBR)) 
	(COMMENT **FASL** 2965. (LAP |[MRS,LSP]CSREAS.LSP←9.| SUBR)) 
	(COMMENT **FASL** 2968. (LAP |[MRS,LSP]CSREAS.LSP←10.| SUBR)) 
	(COMMENT **FASL** 2978. (LAP |[MRS,LSP]CSREAS.LSP←11.| SUBR)) 
	(COMMENT **FASL** 2980. (LAP |[MRS,LSP]CSREAS.LSP←12.| SUBR)) 
	(COMMENT **FASL** 2983. (LAP STATIST-B-METHOD SUBR)) 
	(COMMENT **FASL** 3229. (LAP GET-YES-OR-NO SUBR)) 
	(COMMENT **FASL** 3256. (LAP XPRG LSUBR)) 
	(COMMENT **FASL** 3283. (LAP EXPLORE-R-GRAPH LSUBR)) 
	(COMMENT **FASL** 3890. (LAP GET-REASONING-GRAPH LSUBR)) 
	(COMMENT **FASL** 4016. (LAP COUNT-ITEMS SUBR)) 
	(COMMENT **FASL** 4172. (LAP COUNT-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 4278. (LAP DISPLAY-CURRENT-ITEM SUBR)) 
	(COMMENT **FASL** 4293. (LAP MOVE-TO-NEW-ITEM SUBR)) 
	(COMMENT **FASL** 4424. (LAP DISPLAY-B∨Q-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 4470. (LAP IDENTIFY-ITEM SUBR)) 
	(COMMENT **FASL** 4786. (LAP DISPLAY-RP-NODE SUBR)) 
	(COMMENT **FASL** 5299. (LAP CSR:CLASSIFY-CONSIDS SUBR)) 
	(COMMENT **FASL** 5334. (LAP DISPLAY-RPN-BLF-GROUNDS SUBR)) 
	(COMMENT **FASL** 5511. (LAP DNW SUBR)) 
	(COMMENT **FASL** 5512. (LAP DISPLAY-RP-NODE-WFFS SUBR)) 
	(COMMENT **FASL** 5533. (LAP DBQ SUBR)) 
	(COMMENT **FASL** 5541. (LAP DISPLAY-BLF∨QRY LSUBR)) 
	(COMMENT **FASL** 5695. (LAP B∨Q∧EPIST-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5770. (LAP RPN-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5805. (LAP DISPLAY-CONSID SUBR)) 
	(COMMENT **FASL** 6134. (LAP C-FIELD-CONTENTS SUBR)) 
'R-GRAPH-DISPLAY-DIRECTORY-ENTRY 
'R-GRAPH-DISPLAY-LINE 
'D-LINE-POINTER-PAIR 
	(COMMENT **FASL** 6188. (LAP ANY-CONCL-DESCENDANTS? SUBR)) 
	(COMMENT **FASL** 6221. (LAP CSR:SUMMARIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 6490. (LAP |[MRS,LSP]CSREAS.LSP←13.| SUBR)) 
	(COMMENT **FASL** 6497. (LAP CSR:NORMALIZE-DISPLAY-LIST SUBR)) 
	(COMMENT **FASL** 6642. (LAP CSR:PUSH-D-LINES SUBR)) 
	(COMMENT **FASL** 6676. (LAP CSR:PUSH-BEFORE? SUBR)) 
	(COMMENT **FASL** 7006. (LAP PROPAGATE-MAX-LEVEL SUBR)) 
	(COMMENT **FASL** 7026. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 7137. (LAP CSR:CONSTRUCT-RG-FULL-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 7235. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINE SUBR)) 
	(COMMENT **FASL** 7303. (LAP CSR:GET-OR-MAKE-RG-ITEM-NAME SUBR)) 
	(COMMENT **FASL** 7456. (LAP CSR:DISPLAY-RG-SUMMARY SUBR)) 
	(COMMENT **FASL** 7545. (LAP CSR:DISPLAY-RG-D-LIST SUBR)) 
	(COMMENT **FASL** 7667. (LAP IPC LSUBR)) 
	(COMMENT **FASL** 7686. (LAP INTERACTIVE-PROGRAM-CONTROL LSUBR)) 
	(COMMENT **FASL** 8013. (LAP IPC:SET-HELP-VERBOSITY SUBR)) 
	(COMMENT **FASL** 8036. (LAP IPC-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 8051. (LAP IPC-HELP SUBR)) 
	(COMMENT **FASL** 8273. (LAP XPTR LSUBR)) 
	(COMMENT **FASL** 8292. (LAP EXPLORE-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 8865. (LAP GET-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 8933. (LAP SHORTEN-TASK-PATH SUBR)) 
	(COMMENT **FASL** 8968. (LAP MOVE-TO-TASK SUBR)) 
	(COMMENT **FASL** 9134. (LAP COUNT-TASKS SUBR)) 
	(COMMENT **FASL** 9196. (LAP CLASSIFY-TASKS SUBR)) 
	(COMMENT **FASL** 9283. (LAP DISPLAY-TASK SUBR)) 
	(COMMENT **FASL** 9352. (LAP DISPLAY-TASK-ARGS SUBR)) 
	(COMMENT **FASL** 9355. (LAP TASK-FIELD-CONTENTS SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 9407. (LAP DISPLAY-HELP-TABLE-ENTRY LSUBR)) 
	(COMMENT **FASL** 9524. (LAP DISPLAY-TRANSFER-COMMANDS SUBR)) 
	(COMMENT **FASL** 9628. (LAP XPTR-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 9653. (LAP DISPLAY-XPTR-COMMANDS SUBR)) 
	(COMMENT **FASL** 9684. (LAP XPTR-HELP SUBR)) 
	(COMMENT **FASL** 9854. (LAP XPRG-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 9879. (LAP DISPLAY-XPRG-COMMANDS SUBR)) 
	(COMMENT **FASL** 9915. (LAP XPRG-HELP SUBR)) 
	(COMMENT **FASL** 10096. (LAP DEMO-COMMONSENSE-REASONING SUBR)) 
	(COMMENT **FASL** 10505. (LAP DISPLAY-CONTEXT SUBR)) 
	(COMMENT **FASL** 10579. (LAP DISPLAY-KNOWLEDGE SUBR)) 
	(COMMENT **FASL** 10585. (LAP DISPLAY-QUERY-FORMULAS SUBR)) 
	(COMMENT **FASL** 10660. (LAP DISPLAY-SPECIF-QUERIES SUBR)) 
	(COMMENT **FASL** 10698. (LAP INVESTIGATE-QUERY SUBR)) 
	(COMMENT **FASL** 10783. (LAP REPORT-RESULTS SUBR)) 
	(COMMENT **FASL** 10987. (LAP RESET-KNOWLEDGE-BASE SUBR)) 
	(COMMENT **FASL** 10995. (LAP DEMO-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 11020. (LAP DISPLAY-DEMO-COMMANDS SUBR)) 
	(COMMENT **FASL** 11040. (LAP DEMO-HELP SUBR)) 
	(COMMENT **FASL** 11198. (LAP LOWER-CASE SUBR)) 
(COMMENT **** (CONTEXT:DELETE TAB %UMATCH CONTEXT:PRED-LOOKUP
CONTEXT:PRED-LOOKUP-ALL TCONC CONTEXT:ADD CONTEXT:LOOKUP
CONTEXT:SPROUT-CONTEXT LT-TYPE)
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  11231. WORDS)